4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44
In pattern: SUPERPATTERN
Frequency: 3
Non-data size: 3
Instances
1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44
1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/Director.java,Director,handleMessage,#InvalidMessage#,311
1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44
1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/Director.java,Director,convertInductiveCounterexamples,#,470